131![Cross-platform software / Abstract interpretation / Symbolic execution / Debugging / Exception handling / Software testing / KeY / Test / Function / Computing / Computer programming / Software engineering Cross-platform software / Abstract interpretation / Symbolic execution / Debugging / Exception handling / Software testing / KeY / Test / Function / Computing / Computer programming / Software engineering](/pdf-icon.png) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2014-08-13 19:26:58
|
---|
132![Computer programming / Symbolic execution / Concolic testing / Buffer overflow / Algorithm / Infinite loop / Function / Stack / Dependence analysis / Software bugs / Software engineering / Computing Computer programming / Symbolic execution / Concolic testing / Buffer overflow / Algorithm / Infinite loop / Function / Stack / Dependence analysis / Software bugs / Software engineering / Computing](/pdf-icon.png) | Add to Reading ListSource URL: bitblaze.cs.berkeley.eduLanguage: English - Date: 2013-03-28 20:19:28
|
---|
133![Computer security / Hacking / Computer network security / Vulnerability / Communications protocol / Social vulnerability / Symbolic execution / Intrusion prevention system / Parsing / Computing / Software testing / Cyberwarfare Computer security / Hacking / Computer network security / Vulnerability / Communications protocol / Social vulnerability / Symbolic execution / Intrusion prevention system / Parsing / Computing / Software testing / Cyberwarfare](/pdf-icon.png) | Add to Reading ListSource URL: bitblaze.cs.berkeley.eduLanguage: English - Date: 2013-03-28 20:19:28
|
---|
134![Theoretical computer science / Logic in computer science / Model checking / Formal verification / Symbolic execution / First-order logic / Validation / Static single assignment form / Model theory / Logic / Formal methods / Mathematical logic Theoretical computer science / Logic in computer science / Model checking / Formal verification / Symbolic execution / First-order logic / Validation / Static single assignment form / Model theory / Logic / Formal methods / Mathematical logic](/pdf-icon.png) | Add to Reading ListSource URL: www.cs.berkeley.eduLanguage: English - Date: 2013-10-18 17:59:35
|
---|
135![Computer programming / Klee / Constraint programming / Programming language implementation / Symbolic execution / Code coverage / Assembly language / Concolic testing / Software engineering / Software testing / Bauhaus Computer programming / Klee / Constraint programming / Programming language implementation / Symbolic execution / Code coverage / Assembly language / Concolic testing / Software engineering / Software testing / Bauhaus](/pdf-icon.png) | Add to Reading ListSource URL: llvm.orgLanguage: English - Date: 2010-02-25 20:19:41
|
---|
136![World Wide Web / Common Gateway Interface / .htaccess / SuEXEC / Virtual hosting / Apache HTTP Server / Webserver directory index / Httpd.conf / Symbolic link / Software / System software / Computing World Wide Web / Common Gateway Interface / .htaccess / SuEXEC / Virtual hosting / Apache HTTP Server / Webserver directory index / Httpd.conf / Symbolic link / Software / System software / Computing](/pdf-icon.png) | Add to Reading ListSource URL: www.kernelpanik.orgLanguage: English - Date: 2012-09-03 09:14:09
|
---|
137![Programming language implementation / Physics / Compiler optimization / World energy consumption / Energy / Energy policy / Energy economics Programming language implementation / Physics / Compiler optimization / World energy consumption / Energy / Energy policy / Energy economics](/pdf-icon.png) | Add to Reading ListSource URL: www4.cs.fau.deLanguage: English - Date: 2011-11-22 11:07:25
|
---|
138![Constraint programming / Cross-platform software / JavaScript / Symbolic execution / Cross-site scripting / Type system / Code injection / Software engineering / Computing / Computer programming Constraint programming / Cross-platform software / JavaScript / Symbolic execution / Cross-site scripting / Type system / Code injection / Software engineering / Computing / Computer programming](/pdf-icon.png) | Add to Reading ListSource URL: www.vividmachines.comLanguage: English - Date: 2010-04-04 19:08:02
|
---|
139![Software / Cross-linked polyethylene / Reliability engineering / Unit testing / Test automation / Statistical hypothesis testing / Symbolic execution / Constant / Literal / Software testing / Statistics / Software development Software / Cross-linked polyethylene / Reliability engineering / Unit testing / Test automation / Statistical hypothesis testing / Symbolic execution / Constant / Literal / Software testing / Statistics / Software development](/pdf-icon.png) | Add to Reading ListSource URL: mir.cs.illinois.eduLanguage: English - Date: 2010-05-05 16:30:22
|
---|
140![Computer science / Differential equations / Model checkers / Automata theory / Simulation software / Model checking / SIGNAL / Uppaal Model Checker / Hybrid automaton / Computing / Formal methods / Theoretical computer science Computer science / Differential equations / Model checkers / Automata theory / Simulation software / Model checking / SIGNAL / Uppaal Model Checker / Hybrid automaton / Computing / Formal methods / Theoretical computer science](/pdf-icon.png) | Add to Reading ListSource URL: www.di.ens.frLanguage: English - Date: 2013-12-15 06:16:55
|
---|